 -------------------------------------
| Generating the 10-tetrahedra census |
 -------------------------------------

This folder presents the code and data for generating the 10-tetrahedra census,
corresponding to Section 3 of the paper 

    The complete 10-tetrahedra census of orientable cusped hyperbolic 3-manifolds

by Shana Yunsheng Li (arXiv:2512.02142)

 ------
| Code |
 ------

The code for all tests in Table 2 (or Table 4) is included in tests.py

 ------
| Data |
 ------

All .dat files are readable as plain .txt files, one item per line. If one item contains multiple pieces of information, they are separated by commas (,).

 ---------------
| Data of tests |
 ---------------

The file of all 8,373,308 candidates defined in Theorem 7 is given as the compressed file

    tricensus_10.dat.tar.bz2

under the data folder, which decompresses to a .dat file with a size of 260 MB.

The data folder consists of several sub-folders. The folders

    leftover_candidates, discarded, hyperbolic

contain the data corresponding to the three columns in Table 2.

 ----------------------------
| Data of group and separate |
 ----------------------------

The folder group_and_separate contains the data mentioned in Section 3.3.
Let m be an instance of snappy.Manifold. The verified canonical triangulations and volumes 
can be recomputed using the following commands:

    sage:   m.isometry_signature(verified = True, 
                                interval_bits_precs = [53, 20000], 
                                exact_bits_prec_and_degrees = [(212, 10), (1000, 20), (2000, 20),(2000, 40),(4000, 40),(10000, 40),(10000,60),(20000,60),(20000,80),(40000,80)])

    sage:   m.volume(bits_prec = 300, verified = True)

The file tricensus_10_hyperbolic.dat contains all 904,452 triangulations certified to be hyperbolic in Table 2,
which is exactly the union of all triangulations in the files under the folder hyperbolic.

The file tricensus_10_hyperbolic_ori.dat contains all orientable triangulations in tricensus_10_hyperbolic.dat,
and tricensus_10_hyperbolic_ori_grouped.dat contains the isometry classes of all triangulations in 
tricensus_10_hyperbolic_ori.dat, one line per class, where triangulations within each class are separated by commas.